3

Harmonizing intra- and inter-object specification and verification

Year:
2005
Language:
english
File:
PDF, 27 KB
english, 2005
9

Editorial

Year:
2006
Language:
english
File:
PDF, 74 KB
english, 2006
14

Editorial

Year:
2004
Language:
english
File:
PDF, 53 KB
english, 2004
15

Specifying communication in distributed information systems

Year:
2000
Language:
english
File:
PDF, 174 KB
english, 2000
20

Algebraic domain equations

Year:
1983
Language:
english
File:
PDF, 2.85 MB
english, 1983